go/types.unifier.y (field)

12 uses

	go/types (current package)
		infer.go#L481: 	u.y = u.x // type parameters between LHS and RHS of unification are identical
		unify.go#L65: 	x, y  tparamsList // x and y must initialized via tparamsList.init
		unify.go#L79: 	u.y.unifier = u
		unify.go#L144: 		u.tracef("%s ⇄ %s", u.x.tparams[i], u.y.tparams[j])
		unify.go#L147: 	tj := u.y.indices[j]
		unify.go#L154: 		u.y.indices[j] = -len(u.types)
		unify.go#L160: 		u.y.indices[j] = ti
		unify.go#L172: 		u.y.setIndex(j, ti)
		unify.go#L329: 	switch i, j := u.x.index(x), u.y.index(y); {
		unify.go#L336: 		return u.nifyEq(u.x.at(i), u.y.at(j), p)
		unify.go#L349: 		if ty := u.y.at(j); ty != nil {
		unify.go#L353: 		u.y.set(j, x)